121. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Marc Bezem, Jan Friso Groote.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
122. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Masahito Hasegawa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013
123. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
124. VDM'91 Formal Software Development Methods :
پدیدآورنده : edited by S. Prehn, W.J. Toetenel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
125. VDM '90 VDM and Z -- Formal Methods in Software Development :
پدیدآورنده : edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
126. Verification:
پدیدآورنده : edited by Nachum Dershowitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
127. Verification of Sequential and Concurrent Programs
پدیدآورنده : by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
128. Verifying Concurrent Processes Using Temporal Logic
پدیدآورنده : by Brent T. Hailpern.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic design.
